package ocl;


public class ImpliesExpression extends OclExpression {

	OclExpression exp1, exp2;
	
	public ImpliesExpression(OclExpression oclExpression,
			OclExpression oclExpression2) {
		this.exp1 = oclExpression;
		this.exp2 = oclExpression2;
	}

	@Override
	public String toK() {
		return exp1.toK() + " implies " + exp2.toK();
	}
}
